Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
521	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
522	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.comp.leeds.ac.uk Language: English - Date: 2008-08-18 09:29:21 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
523	Efficient Implementation of Property Directed Reachability∗ Niklas Een, Alan Mishchenko, Robert Brayton {een,alanmi,brayton}@eecs.berkeley.edu Berkeley Verification and Synthesis Research Center EECS Department Univers Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2012-06-06 17:57:57 Unit propagation Cube Clause Geometry Euclidean geometry Automated theorem proving
524	CVC Lite: A New Implementation of the Cooperating Validity Che ker ? Category B Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-11-21 20:09:11 Well-formed formula Theory Theorem Logic Logical syntax Automated theorem proving
525	Autonomous Learning of Commonsense Simulations Benjamin Johnston and Mary-Anne Williams University of Technology, Sydney Ultimo, Sydney, New South Wales, Australia [removed] Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:15 Knowledge Computational physics Artificial intelligence Philosophy of science Automated theorem proving Method of analytic tableaux Simulation Algorithm Hypothesis Science Reasoning Cognition
526	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
527	Soundness, idempotence and commutativity of set-sharing Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-06 13:46:56 Model theory Automated theorem proving Logic programming Unification Structure Interpretation Idempotence Mathematics Abstract algebra Algebra
528	Copyright by Joohyung Lee 2005 The Dissertation Committee for Joohyung Lee Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-02-26 15:26:45 Artificial intelligence Applied mathematics Logi Automated reasoning Mathematics Computer science Reasoning Jötnar Automated theorem proving
529	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2013-11-27 08:47:00 Applied mathematics Formal methods Mathematics Theoretical computer science Automated theorem proving Verification Stability System Control theory Formal sciences Cybernetics Science
530	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics

UPDATE